Optimal. Leaf size=201 \[ -\frac{3}{80} (1-2 x)^{3/2} (3 x+2)^3 (5 x+3)^{7/2}-\frac{1419 (1-2 x)^{3/2} (3 x+2)^2 (5 x+3)^{7/2}}{11200}-\frac{3 (1-2 x)^{3/2} (522420 x+899099) (5 x+3)^{7/2}}{1280000}-\frac{135817609 (1-2 x)^{3/2} (5 x+3)^{5/2}}{20480000}-\frac{1493993699 (1-2 x)^{3/2} (5 x+3)^{3/2}}{49152000}-\frac{16433930689 (1-2 x)^{3/2} \sqrt{5 x+3}}{131072000}+\frac{180773237579 \sqrt{1-2 x} \sqrt{5 x+3}}{1310720000}+\frac{1988505613369 \sin ^{-1}\left (\sqrt{\frac{2}{11}} \sqrt{5 x+3}\right )}{1310720000 \sqrt{10}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0663079, antiderivative size = 201, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 6, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.231, Rules used = {100, 153, 147, 50, 54, 216} \[ -\frac{3}{80} (1-2 x)^{3/2} (3 x+2)^3 (5 x+3)^{7/2}-\frac{1419 (1-2 x)^{3/2} (3 x+2)^2 (5 x+3)^{7/2}}{11200}-\frac{3 (1-2 x)^{3/2} (522420 x+899099) (5 x+3)^{7/2}}{1280000}-\frac{135817609 (1-2 x)^{3/2} (5 x+3)^{5/2}}{20480000}-\frac{1493993699 (1-2 x)^{3/2} (5 x+3)^{3/2}}{49152000}-\frac{16433930689 (1-2 x)^{3/2} \sqrt{5 x+3}}{131072000}+\frac{180773237579 \sqrt{1-2 x} \sqrt{5 x+3}}{1310720000}+\frac{1988505613369 \sin ^{-1}\left (\sqrt{\frac{2}{11}} \sqrt{5 x+3}\right )}{1310720000 \sqrt{10}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 100
Rule 153
Rule 147
Rule 50
Rule 54
Rule 216
Rubi steps
\begin{align*} \int \sqrt{1-2 x} (2+3 x)^4 (3+5 x)^{5/2} \, dx &=-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{1}{80} \int \left (-452-\frac{1419 x}{2}\right ) \sqrt{1-2 x} (2+3 x)^2 (3+5 x)^{5/2} \, dx\\ &=-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}+\frac{\int \sqrt{1-2 x} (2+3 x) (3+5 x)^{5/2} \left (\frac{176225}{2}+\frac{548541 x}{4}\right ) \, dx}{5600}\\ &=-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{135817609 \int \sqrt{1-2 x} (3+5 x)^{5/2} \, dx}{2560000}\\ &=-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{1493993699 \int \sqrt{1-2 x} (3+5 x)^{3/2} \, dx}{8192000}\\ &=-\frac{1493993699 (1-2 x)^{3/2} (3+5 x)^{3/2}}{49152000}-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{16433930689 \int \sqrt{1-2 x} \sqrt{3+5 x} \, dx}{32768000}\\ &=-\frac{16433930689 (1-2 x)^{3/2} \sqrt{3+5 x}}{131072000}-\frac{1493993699 (1-2 x)^{3/2} (3+5 x)^{3/2}}{49152000}-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{180773237579 \int \frac{\sqrt{1-2 x}}{\sqrt{3+5 x}} \, dx}{262144000}\\ &=\frac{180773237579 \sqrt{1-2 x} \sqrt{3+5 x}}{1310720000}-\frac{16433930689 (1-2 x)^{3/2} \sqrt{3+5 x}}{131072000}-\frac{1493993699 (1-2 x)^{3/2} (3+5 x)^{3/2}}{49152000}-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{1988505613369 \int \frac{1}{\sqrt{1-2 x} \sqrt{3+5 x}} \, dx}{2621440000}\\ &=\frac{180773237579 \sqrt{1-2 x} \sqrt{3+5 x}}{1310720000}-\frac{16433930689 (1-2 x)^{3/2} \sqrt{3+5 x}}{131072000}-\frac{1493993699 (1-2 x)^{3/2} (3+5 x)^{3/2}}{49152000}-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{1988505613369 \operatorname{Subst}\left (\int \frac{1}{\sqrt{11-2 x^2}} \, dx,x,\sqrt{3+5 x}\right )}{1310720000 \sqrt{5}}\\ &=\frac{180773237579 \sqrt{1-2 x} \sqrt{3+5 x}}{1310720000}-\frac{16433930689 (1-2 x)^{3/2} \sqrt{3+5 x}}{131072000}-\frac{1493993699 (1-2 x)^{3/2} (3+5 x)^{3/2}}{49152000}-\frac{135817609 (1-2 x)^{3/2} (3+5 x)^{5/2}}{20480000}-\frac{1419 (1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{7/2}}{11200}-\frac{3}{80} (1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{7/2}-\frac{3 (1-2 x)^{3/2} (3+5 x)^{7/2} (899099+522420 x)}{1280000}+\frac{1988505613369 \sin ^{-1}\left (\sqrt{\frac{2}{11}} \sqrt{3+5 x}\right )}{1310720000 \sqrt{10}}\\ \end{align*}
Mathematica [A] time = 0.0757373, size = 85, normalized size = 0.42 \[ \frac{10 \sqrt{1-2 x} \sqrt{5 x+3} \left (6967296000000 x^7+30838579200000 x^6+57746856960000 x^5+58346097408000 x^4+32457421737600 x^3+6882844528480 x^2-3991703112140 x-5973304472091\right )-41758617880749 \sqrt{10} \sin ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right )}{275251200000} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.012, size = 172, normalized size = 0.9 \begin{align*}{\frac{1}{550502400000}\sqrt{1-2\,x}\sqrt{3+5\,x} \left ( 139345920000000\,\sqrt{-10\,{x}^{2}-x+3}{x}^{7}+616771584000000\,\sqrt{-10\,{x}^{2}-x+3}{x}^{6}+1154937139200000\,{x}^{5}\sqrt{-10\,{x}^{2}-x+3}+1166921948160000\,{x}^{4}\sqrt{-10\,{x}^{2}-x+3}+649148434752000\,{x}^{3}\sqrt{-10\,{x}^{2}-x+3}+137656890569600\,{x}^{2}\sqrt{-10\,{x}^{2}-x+3}+41758617880749\,\sqrt{10}\arcsin \left ({\frac{20\,x}{11}}+1/11 \right ) -79834062242800\,x\sqrt{-10\,{x}^{2}-x+3}-119466089441820\,\sqrt{-10\,{x}^{2}-x+3} \right ){\frac{1}{\sqrt{-10\,{x}^{2}-x+3}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.50797, size = 186, normalized size = 0.93 \begin{align*} -\frac{405}{16} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} x^{5} - \frac{49059}{448} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} x^{4} - \frac{739881}{3584} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} x^{3} - \frac{80346831}{358400} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} x^{2} - \frac{4513921183}{28672000} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} x - \frac{26326737569}{344064000} \,{\left (-10 \, x^{2} - x + 3\right )}^{\frac{3}{2}} + \frac{16433930689}{65536000} \, \sqrt{-10 \, x^{2} - x + 3} x - \frac{1988505613369}{26214400000} \, \sqrt{10} \arcsin \left (-\frac{20}{11} \, x - \frac{1}{11}\right ) + \frac{16433930689}{1310720000} \, \sqrt{-10 \, x^{2} - x + 3} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.78357, size = 429, normalized size = 2.13 \begin{align*} \frac{1}{27525120000} \,{\left (6967296000000 \, x^{7} + 30838579200000 \, x^{6} + 57746856960000 \, x^{5} + 58346097408000 \, x^{4} + 32457421737600 \, x^{3} + 6882844528480 \, x^{2} - 3991703112140 \, x - 5973304472091\right )} \sqrt{5 \, x + 3} \sqrt{-2 \, x + 1} - \frac{1988505613369}{26214400000} \, \sqrt{10} \arctan \left (\frac{\sqrt{10}{\left (20 \, x + 1\right )} \sqrt{5 \, x + 3} \sqrt{-2 \, x + 1}}{20 \,{\left (10 \, x^{2} + x - 3\right )}}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 2.29659, size = 682, normalized size = 3.39 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]